Type de contenu : Texte
Type de médiation : sans médiation
Titre(s) : Le point aveugle : cours de logique. 1, Vers la perfection [Texte imprimé] / Girard, Jean-Yves
Auteur(s) : Girard, Jean-Yves (1947-....)
Editeur, producteur : Paris : Hermann, DL 2006
   (53-Bonchamp-lès-Laval; Impr. Barnéoud)
Description matérielle : 1 vol. (XII-280 p.)
Collection : Visions des sciences
ISBN : 2-7056-6633-8
EAN : 9782705666330
Appartient à la collection : Visions des sciences 1953-2423 2006
Classification décimale Dewey : 511.3 23
Résumé ou extrait : Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; Autour de Curry-Howard (interprétations fonctionnelles, le système F...) ; La logique linéaire (espaces cohérents, perfection et imperfection...).
Sujet(s) : raisonnement
  logique mathématique
Sujet - Nom commun : Logique mathématique
